Sergeant Charles Floyd

Sergeant X—A Study in Vocational Guidance

was purely a mental one, as he put it, "loss of memory" following upon gassing. He had been gassed during the fall of 1918 but had felt no evil effects until the middle of the following January. His story, as he told it, as he had gleaned it from former companions-inarms and the chaplain of his regiment, was that he had suddenly suffered an entire loss of memory. He had forgotten his name, his ...

Logic Characterization of Floyd Languages

Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to apply automatic verification techniques (e.g. model checking) and parallel and incremental parsing. They properly include various other classes, noticeably Visual Pushdown languages. In this paper we provide a characteriz...

Personality Characteristics of Successful Police Sergeant Candidates

Floyd Languages for Infinite Words Linguaggi Di Floyd per Parole Infinite

Nowadays many software systems are designed to work without interruption: for instance operating systems are required to provide continuously their services to the users, and web applications and verification of critical and concurrent systems represent a typical scenario where endless computations are involved. The behavior of systems operating forever can be formally specified by means of ω-l...

Program Algebras with Monotone Floyd-Hoare Composition

In the paper special program algebras of partial predicates and functions are described. Such algebras form a semantic component of a modified Floyd-Hoare logic constructed on the base of a composition-nominative approach. According to this approach, Floyd-Hoare assertions are presented with the help of a special composition called Floyd-Hoare composition. Monotonicity and continuity of this co...